priv trait I { m(Self) -> Unit }
impl I for Int with m(self) {}